Optimal. Leaf size=112 \[ \frac{\sqrt{b x^2+c x^4} (3 b B-2 A c)}{2 b c^2}-\frac{(3 b B-2 A c) \tanh ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{b x^2+c x^4}}\right )}{2 c^{5/2}}-\frac{x^4 (b B-A c)}{b c \sqrt{b x^2+c x^4}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.241677, antiderivative size = 112, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.192, Rules used = {2034, 788, 640, 620, 206} \[ \frac{\sqrt{b x^2+c x^4} (3 b B-2 A c)}{2 b c^2}-\frac{(3 b B-2 A c) \tanh ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{b x^2+c x^4}}\right )}{2 c^{5/2}}-\frac{x^4 (b B-A c)}{b c \sqrt{b x^2+c x^4}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2034
Rule 788
Rule 640
Rule 620
Rule 206
Rubi steps
\begin{align*} \int \frac{x^5 \left (A+B x^2\right )}{\left (b x^2+c x^4\right )^{3/2}} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{x^2 (A+B x)}{\left (b x+c x^2\right )^{3/2}} \, dx,x,x^2\right )\\ &=-\frac{(b B-A c) x^4}{b c \sqrt{b x^2+c x^4}}+\frac{1}{2} \left (-\frac{2 A}{b}+\frac{3 B}{c}\right ) \operatorname{Subst}\left (\int \frac{x}{\sqrt{b x+c x^2}} \, dx,x,x^2\right )\\ &=-\frac{(b B-A c) x^4}{b c \sqrt{b x^2+c x^4}}+\frac{(3 b B-2 A c) \sqrt{b x^2+c x^4}}{2 b c^2}-\frac{(3 b B-2 A c) \operatorname{Subst}\left (\int \frac{1}{\sqrt{b x+c x^2}} \, dx,x,x^2\right )}{4 c^2}\\ &=-\frac{(b B-A c) x^4}{b c \sqrt{b x^2+c x^4}}+\frac{(3 b B-2 A c) \sqrt{b x^2+c x^4}}{2 b c^2}-\frac{(3 b B-2 A c) \operatorname{Subst}\left (\int \frac{1}{1-c x^2} \, dx,x,\frac{x^2}{\sqrt{b x^2+c x^4}}\right )}{2 c^2}\\ &=-\frac{(b B-A c) x^4}{b c \sqrt{b x^2+c x^4}}+\frac{(3 b B-2 A c) \sqrt{b x^2+c x^4}}{2 b c^2}-\frac{(3 b B-2 A c) \tanh ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{b x^2+c x^4}}\right )}{2 c^{5/2}}\\ \end{align*}
Mathematica [A] time = 0.112973, size = 91, normalized size = 0.81 \[ \frac{x \left (\sqrt{c} x \left (-2 A c+3 b B+B c x^2\right )-\sqrt{b} \sqrt{\frac{c x^2}{b}+1} (3 b B-2 A c) \sinh ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{b}}\right )\right )}{2 c^{5/2} \sqrt{x^2 \left (b+c x^2\right )}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.008, size = 115, normalized size = 1. \begin{align*} -{\frac{ \left ( c{x}^{2}+b \right ){x}^{3}}{2} \left ( -B{c}^{{\frac{5}{2}}}{x}^{3}+2\,A{c}^{5/2}x-3\,B{c}^{3/2}xb-2\,A\ln \left ( x\sqrt{c}+\sqrt{c{x}^{2}+b} \right ) \sqrt{c{x}^{2}+b}{c}^{2}+3\,B\ln \left ( x\sqrt{c}+\sqrt{c{x}^{2}+b} \right ) \sqrt{c{x}^{2}+b}bc \right ) \left ( c{x}^{4}+b{x}^{2} \right ) ^{-{\frac{3}{2}}}{c}^{-{\frac{7}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.42984, size = 504, normalized size = 4.5 \begin{align*} \left [-\frac{{\left (3 \, B b^{2} - 2 \, A b c +{\left (3 \, B b c - 2 \, A c^{2}\right )} x^{2}\right )} \sqrt{c} \log \left (-2 \, c x^{2} - b - 2 \, \sqrt{c x^{4} + b x^{2}} \sqrt{c}\right ) - 2 \,{\left (B c^{2} x^{2} + 3 \, B b c - 2 \, A c^{2}\right )} \sqrt{c x^{4} + b x^{2}}}{4 \,{\left (c^{4} x^{2} + b c^{3}\right )}}, \frac{{\left (3 \, B b^{2} - 2 \, A b c +{\left (3 \, B b c - 2 \, A c^{2}\right )} x^{2}\right )} \sqrt{-c} \arctan \left (\frac{\sqrt{c x^{4} + b x^{2}} \sqrt{-c}}{c x^{2} + b}\right ) +{\left (B c^{2} x^{2} + 3 \, B b c - 2 \, A c^{2}\right )} \sqrt{c x^{4} + b x^{2}}}{2 \,{\left (c^{4} x^{2} + b c^{3}\right )}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{5} \left (A + B x^{2}\right )}{\left (x^{2} \left (b + c x^{2}\right )\right )^{\frac{3}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (B x^{2} + A\right )} x^{5}}{{\left (c x^{4} + b x^{2}\right )}^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]